|
In mathematics, and especially in homotopy theory, a crossed module consists of groups ''G'' and ''H'', where ''G'' acts on ''H'' by automorphisms (which we will write on the left, ), and a homomorphism of groups : that is equivariant with respect to the conjugation action of ''G'' on itself: : and also satisfies the so-called Peiffer identity: : == Origin == The first mention of the second identity for a crossed module seems to be in footnote 25 on p. 422 of Whitehead's 1941 paper cited below, while the term 'crossed module' is introduced in his 1946 paper cited below. These ideas were well worked up in his 1949 paper 'Combinatorial homotopy II', which also introduced the important idea of a free crossed module. Whitehead's ideas on crossed modules and their applications are developed and explained in the book by Brown, Higgins, Sivera listed below. Some generalisations of the idea of crossed module are explained in the paper of Janelidze. 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Crossed module」の詳細全文を読む スポンサード リンク
|